"Nicolas Halbwachs" скачать бесплатно. Электронная библиотека. Поиск книг BookSee

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Computer Aided Verification, 11 conf., CAV '99

Nicolas Halbwachs, Doron Peled

Категория: Cs_Computer science, CsLn_Lecture notes

5.03 Mb

#2

Tools and Algorithms for the Construction and Analysis of Systems, 11 conf., TACAS 2005

Nicolas Halbwachs, Lenore Zuck

Категория: Cs_Computer science, CsLn_Lecture notes

5.69 Mb